(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     28960,       1107]
NotebookOptionsPosition[     24872,        976]
NotebookOutlinePosition[     26967,       1032]
CellTagsIndexPosition[     26881,       1027]
WindowTitle->PauliTrick
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"PauliSigma\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/PauliSigma"], "\<\"PauliSimplify\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/PauliSimplify"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/PauliTrick\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/PauliTrick"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
PauliTrick.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$206470], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/PauliTrick", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["PauliTrick", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"PauliTrick", "[", "exp", "]"}]], "InlineFormula"],
     " \[LineSeparator]contracts sigma matrices with each other and performs \
several simplifications (no expansion, use PauliSimplify for this)."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->201251739],

Cell["", "SectionHeaderSpacer"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "PauliTrick", "]"}]], "Input",
 CellLabel->"In[68]:=",
 CellID->1855886680],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Expanding", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcInternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcExternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FCPauliIsolate", "\[Rule]", "True"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}], ",", 
    RowBox[{"PauliSigmaCombine", "\[Rule]", "False"}], ",", 
    RowBox[{"PauliReduce", "\[Rule]", "True"}]}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{575, 35},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[68]=",
 CellID->1510717930]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->96294213],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->1788381412],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CSIS", "[", "p1", "]"}], ".", 
  RowBox[{"CSI", "[", "i", "]"}], ".", 
  RowBox[{"CSIS", "[", "p2", "]"}]}]], "Input",
 CellLabel->"In[1]:=",
 CellID->331777472],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p1",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p2",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{137, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]=",
 CellID->1874165954]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"PauliTrick", "[", "%", "]"}], "//", "Contract"}]], "Input",
 CellLabel->"In[2]:=",
 CellID->1979638166],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    RowBox[{
     SuperscriptBox[
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], 
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]], " ", 
     RowBox[{"(", 
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox[
          StyleBox["p1",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox[
          StyleBox["p2",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "+", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p2",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], " ", 
    RowBox[{
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p1",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm]}]}], "+", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p1",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], " ", 
    RowBox[{
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], "\[CenterDot]", 
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p2",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm]}]}], "-", 
   RowBox[{"\[ImaginaryI]", " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p1",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p2",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}]]}]}], TraditionalForm]], "Output",
 ImageSize->{344, 26},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]=",
 CellID->1808357935]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CSID", "[", 
  RowBox[{"i", ",", "j", ",", "i"}], "]"}]], "Input",
 CellLabel->"In[3]:=",
 CellID->8618082],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{78, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]=",
 CellID->622419386]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"PauliTrick", "[", "%", "]"}], "//", "Contract"}]], "Input",
 CellLabel->"In[4]:=",
 CellID->1048487381],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"2", " ", 
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]]}], "-", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{"D", "-", "1"}], ")"}], " ", 
    SuperscriptBox[
     FormBox[
      StyleBox["\<\"\[Sigma]\"\>",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{129, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]=",
 CellID->1491870908]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CSIS", "[", "p", "]"}], ".", 
  RowBox[{"CSI", "[", "j", "]"}], ".", 
  RowBox[{"CSIS", "[", "p", "]"}], ".", 
  RowBox[{"CSIS", "[", "i", "]"}]}]], "Input",
 CellLabel->"In[5]:=",
 CellID->1299757137],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}], ".", 
   RowBox[{"(", 
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["i",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{182, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[5]=",
 CellID->1656049268]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"PauliTrick", "[", "%", "]"}], "//", "Contract"}], "//", 
   "EpsEvaluate"}], "//", "FCCanonicalizeDummyIndices"}]], "Input",
 CellLabel->"In[6]:=",
 CellID->1826628874],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"\[ImaginaryI]", " ", 
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], "2"], " ", 
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox[
        RowBox[{"FCGV", "(", "\<\"ci781\"\>", ")"}],
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox[
         RowBox[{"FCGV", "(", "\<\"ci781\"\>", ")"}],
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["i",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}]]}], "-", 
   RowBox[{"2", " ", "\[ImaginaryI]", " ", 
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], " ", 
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Sigma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox[
        RowBox[{"FCGV", "(", "\<\"ci781\"\>", ")"}],
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], " ", 
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox[
         RowBox[{"FCGV", "(", "\<\"ci781\"\>", ")"}],
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["i",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}]]}], "-", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], "2"], " ", 
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]]}], "+", 
   RowBox[{"2", " ", 
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["i",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       OverscriptBox[
        FormBox[
         StyleBox["p",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}]}]}], TraditionalForm]], "Output",
 ImageSize->{426, 51},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[6]=",
 CellID->2004700614]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PauliTrick", "[", 
  RowBox[{"%%", ",", 
   RowBox[{"PauliReduce", "\[Rule]", "False"}]}], "]"}]], "Input",
 CellLabel->"In[7]:=",
 CellID->528116067],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"2", " ", 
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]], " ", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       OverscriptBox[
        FormBox[
         StyleBox["\<\"\[Sigma]\"\>",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox[
          StyleBox["p",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox[
        FormBox[
         StyleBox["\<\"\[Sigma]\"\>",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox[
          StyleBox["i",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}], "-", 
   RowBox[{
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], "2"], " ", 
    RowBox[{
     SuperscriptBox[
      OverscriptBox[
       FormBox[
        StyleBox["\<\"\[Sigma]\"\>",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox[
        FormBox[
         StyleBox["\<\"\[Sigma]\"\>",
          StripOnInput->False,
          FontWeight->Bold],
         TraditionalForm], "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox[
          StyleBox["i",
           StripOnInput->False,
           FontWeight->Bold],
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}]}]}]}], TraditionalForm]], "Output",
 ImageSize->{256, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[7]=",
 CellID->998716380]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["PauliSigma",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/PauliSigma",
  ButtonNote->"PauliSigma"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["PauliSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/PauliSimplify",
  ButtonNote->"PauliSimplify"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso",
 CellID->830480392]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"PauliTrick",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 9, 25.600033}", 
    "history" -> {"9.3", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "PauliTrick[exp] contracts sigma matrices with each other and performs \
several simplifications (no expansion, use PauliSimplify for this).", 
    "synonyms" -> {}, "tabletags" -> {}, "title" -> "PauliTrick", 
    "titlemodifier" -> "", "windowtitle" -> "PauliTrick", "type" -> "Symbol", 
    "uri" -> "FeynCalc/ref/PauliTrick"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[6086, 187, 386, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->96294213]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 26739, 1020}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[582, 21, 3111, 75, 53, "AnchorBarGrid",
 CellID->1],
Cell[3696, 98, 287, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4008, 113, 461, 12, 102, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4494, 129, 738, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->201251739],
Cell[5235, 155, 31, 0, 70, "SectionHeaderSpacer"],
Cell[CellGroupData[{
Cell[5291, 159, 114, 3, 70, "Input",
 CellID->1855886680],
Cell[5408, 164, 617, 16, 56, "Output",
 CellID->1510717930]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[6086, 187, 386, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->96294213],
Cell[CellGroupData[{
Cell[6497, 206, 196, 6, 26, "ExampleSection",
 CellID->1788381412],
Cell[CellGroupData[{
Cell[6718, 216, 196, 6, 27, "Input",
 CellID->331777472],
Cell[6917, 224, 1484, 59, 43, "Output",
 CellID->1874165954]
}, Open  ]],
Cell[CellGroupData[{
Cell[8438, 288, 138, 4, 27, "Input",
 CellID->1979638166],
Cell[8579, 294, 3317, 134, 47, "Output",
 CellID->1808357935]
}, Open  ]],
Cell[CellGroupData[{
Cell[11933, 433, 131, 4, 27, "Input",
 CellID->8618082],
Cell[12067, 439, 1221, 52, 38, "Output",
 CellID->622419386]
}, Open  ]],
Cell[CellGroupData[{
Cell[13325, 496, 138, 4, 27, "Input",
 CellID->1048487381],
Cell[13466, 502, 910, 37, 40, "Output",
 CellID->1491870908]
}, Open  ]],
Cell[CellGroupData[{
Cell[14413, 544, 236, 7, 27, "Input",
 CellID->1299757137],
Cell[14652, 553, 1940, 77, 43, "Output",
 CellID->1656049268]
}, Open  ]],
Cell[CellGroupData[{
Cell[16629, 635, 228, 7, 27, "Input",
 CellID->1826628874],
Cell[16860, 644, 4482, 180, 72, "Output",
 CellID->2004700614]
}, Open  ]],
Cell[CellGroupData[{
Cell[21379, 829, 174, 5, 27, "Input",
 CellID->528116067],
Cell[21556, 836, 2519, 98, 43, "Output",
 CellID->998716380]
}, Open  ]]
}, Open  ]],
Cell[24102, 938, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[24170, 943, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[24443, 957, 387, 14, 56, "SeeAlso",
 CellID->830480392]
}, Open  ]],
Cell[24845, 974, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

